#include <assert.h>
#include <Judy.h>
#include "../normalization/normalized_datatypes.h"
void add_containing_premise(NormalizedConcept* c, NormalizedAxiom* a) {
	NormalizedAxiom** tmp;
	
	tmp = realloc(c->containing_premises, (c->containing_premises_count + 1) * sizeof(NormalizedAxiom*));
	assert(tmp != NULL);
	c->containing_premises = tmp;
	c->containing_premises[c->containing_premises_count] = a;
	++c->containing_premises_count;
}

/*
void add_to_singleton_premises(NormalizedConcept* c, NormalizedAxiom* a) {
	NormalizedAxiom** tmp;
 	
	tmp = realloc(c->singleton_premises, (c->singleton_premises_count + 1) * sizeof(NormalizedAxiom*));
	assert(tmp != NULL);
	c->singleton_premises = tmp;
	c->singleton_premises[c->singleton_premises_count] = a;
	++c->singleton_premises_count;
}
*/
